Programming for the Java™ Virtual Machine by Joshua Engel

Author:Joshua Engel
Language: eng
Format: epub
ISBN: 0-201-30972-6
Publisher: Addison-Wesley
Published: 2014-06-27T16:00:00+00:00

6.1 How the Verification Algorithm Works

Section 4.8 of The Java Virtual Machine Specification contains a large set of rules that programs must follow if they want to run in the machine. It is the job of the verification algorithm to prove that each and every one of these rules has been followed. These rules were designed to be verifiable by just examining each class, without resorting to running the class.

The verification algorithm works by asking a set of questions about the class file. These questions fall into five general categories.

Is it a structurally valid class file?

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.